class NonEmptyFile {}